qabs($r$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if qpositive($r$) then $r$ else {-}($r$) fi